An Empirical Study of a New Restart Strategy for Randomized Backtrack Search

نویسندگان

  • Venkata Praveen Guddeti
  • Berthe Y. Choueiry
چکیده

We propose an improved restart strategy for randomized backtrack search and compare its performance to other search mechanisms in the context of solving a tight real-world resource allocation problem. The restart strategy proposed by Gomes et al. [1] requires the specification of a cutoff value determined from an overall profile of the cost of search for solving the problem. When no such profile is known, the cutoff value is chosen by trial-and-error. Walsh proposed the strategy Randomization and Geometric Restart (RGR), which does not rely on a cost profile but determines the cutoff value as a function of a constant parameter and the number of variables in the problem [2]. Unlike these strategies, which have fixed restart schedules, our technique (RDGR) dynamically adapts the value of the cutoff parameter to the results of the search process. We empirically evaluate the performance of RDGR by comparing it against a number of heuristic and stochastic search techniques, including RGR, using the cumulative distribution of the solutions. We compare the performance of RGR and RDGR over different run-time durations, different values of the cutoff, and for different problem types (i.e., a real-world resource allocation problem and randomlygenerated binary constraint satisfaction problems). We show that distinguishing between solvable and over-constrained problem instances in our real-world casestudy yields new insights on the relative performance of the search techniques tested. We propose to use this characterization as a basis for building new strategies of cooperative, hybrid search.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Characterization of a New Restart Strategy for Randomized Backtrack Search

We propose an improved restart strategy for randomized backtrack search, and evaluate its performance by comparing to other heuristic and stochastic search techniques for solving random problems and a tight real-world resource allocation problem. The restart strategy proposed by Gomes et al. [1] requires the specification of a cutoff value determined from an overall profile of the cost of searc...

متن کامل

Formal Models of Heavy-Tailed Behavior in Combinatorial Search

Recently, it has been found that the cost distributions of randomized backtrack search in combinatorial domains are often heavytailed. Such heavy-tailed distributions explain the high variability observed when using backtrack-style procedures. A good understanding of this phenomenon can lead to better search techniques. For example, restart strategies provide a good mechanism for eliminating th...

متن کامل

A Randomization Strategy for Combinatorial Search

Recent work on the combinatorial search has provided experimental and theoretical evidence that randomization and restart strategies proposed by Gomes, Selman, and Kautz, can be very effective for backtrack search algorithms to solve some hard satisfiable instances of SAT. One difficulty of effectively using the restart strategy is its potential conflict with the branching heuristic. It is well...

متن کامل

A Random Jump Strategy for Combinatorial Search

Recent work on the combinatorial search has provided experimental and theoretical evidence that randomization and restart strategies proposed by Gomes, Selman, and Kautz, can be very effective for backtrack search algorithms to solve some hard satisfiable instances of SAT. One difficulty of effectively using the restart strategy is its potential conflict with the branching heuristic. It is well...

متن کامل

Random backtracking in backtrack search algorithms for satisfiability

This paper proposes the utilization of randomized backtracking within complete backtrack search algorithms for propositional satisfiability (SAT). In recent years, randomization has become pervasive in SAT algorithms. Incomplete algorithms for SAT, for example the ones based on local search, often resort to randomization. Complete algorithms also resort to randomization. These include state-of-...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2004